Floating-point arithmetic

Results: 1057



#Item
251Cryptographic protocols / Numbers / Binary arithmetic / Mathematics / Secure multi-party computation / Floating point / Space debris / Single-precision floating-point format / IEEE 754-2008 / Computer arithmetic / Data types / Computing

Secure Floating-Point Arithmetic and Private Satellite Collision Analysis Liina Kamm1,2 and Jan Willemson1 1 2

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2013-12-16 06:08:23
252Data types / Primitive types / Numbers / Stability / Lyapunov stability / Floating point / Rounding / Control theory / Equality / Mathematics / Computer arithmetic / Stability theory

Preservation of Lyapunov-Theoretic Proofs:From Real to Floating-Point Numbers

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2013-06-20 09:17:50
253Mathematics / Computing / Mathematical proofs / Dc / cross-platform software / Double-precision floating-point format / Arbitrary-precision arithmetic / Floating point / Mathematical fallacy / Computer arithmetic / Data types / Computer architecture

Preservation of Lyapunov-Theoretic Proofs: From Real to Floating-Point Arithmetic Vivien Maisonneuve, Olivier Hermant and François Irigoin MINES ParisTech, France Email: {vivien.maisonneuve, olivier.hermant, francois.ir

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2014-03-20 04:36:28
254Computer file formats / Query languages / IEEE 754-2008 / SQL / C99 / Floating point / ISO/IEC JTC1 / ISO/IEC JTC1/SC34 / ISO/IEC 10967 / Computing / Computer arithmetic / IEEE standards

© ISO/IEC 2014 – All rights reserved Working Group Draft – February 4, 2014 ISO/IEC JTC 1/SC 22/WG 14 N1789 Date: yyyy-mm-dd

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2014-02-04 14:14:05
255IEEE standards / C programming language / Procedural programming languages / IEEE 754-2008 / C99 / SQL / Floating point / C11 / C / Computing / Computer arithmetic / Software engineering

© ISO/IEC 2013 – All rights reserved Working Group Draft – May 6, 2013 ISO/IEC JTC 1/SC 22/WG 14 N1710 Date: yyyy-mm-dd

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2013-05-06 22:00:46
256Nothing / Naukowa i Akademicka Sieć Komputerowa / Floating point / NANS / Empowerment / Numbers / Computer arithmetic / Computing / NaN

COSP Public Dataset Variables 8 Month 8-Month Instrument/Table Name Variable

Add to Reading List

Source URL: www.stigmaandempowerment.org

Language: English - Date: 2013-04-11 16:18:35
257IEEE standards / ISO standards / IEEE 754-2008 / SQL / Floating point / C99 / ISO/IEC JTC1/SC34 / Moving Picture Experts Group / Computing / Computer arithmetic / Computer file formats

© ISO/IEC 2013 – All rights reserved Working Group Draft – March 26, 2013 ISO/IEC JTC 1/SC 22/WG 14 N1691 Date: yyyy-mm-dd

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2013-03-26 16:10:10
258Computer programming / Computer arithmetic / C11 / Floating point / C / Computing / Software engineering / C programming language

Document: N1730 Date: Floating-point issues in C11 from PDTSUK review Joseph Myers Some issues with floating point in C11 have been identified as part of the UK review of the N1711 draft of TS

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2013-07-21 07:01:00
259Nothing / Naukowa i Akademicka Sieć Komputerowa / Floating point / NANS / Empowerment / Numbers / Computer arithmetic / Computing / NaN

COSP Public Dataset Variables 12 Month 12-Month Instrument/Table Name Variable

Add to Reading List

Source URL: www.stigmaandempowerment.org

Language: English - Date: 2013-04-11 16:18:33
260Numbers / Computer architecture / IEEE standards / IEEE 754-2008 / Floating point / C99 / Decimal32 floating-point format / Decimal64 floating-point format / Decimal128 floating-point format / Computer arithmetic / Data types / Computing

James W Thomas:28 PM Deleted: dd © ISO/IEC 2013 – All rights reserved Working Group Draft – March 14, 2013

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2013-03-26 16:09:36
UPDATE